منابع مشابه
Lattices with Unique Complements
Introduction. For'several years one of the outstanding problems of lattice theory has been the following: Is every lattice with unique complements a Boolean algebra? Any number of weak additional restrictions are sufficient for an affirmative answer. For example, if a lattice is modular (G. Bergman [l](1)) or ortho-complemented (G. Birkhoff [l]) or atomic (G. Birkhoff and M. Ward [l]), then uni...
متن کاملReasoning with Complements
This paper develops a method to determine consistenly the integration of spatial integrity specifications, particularly for the case when two constraints, c1 and c2, are applied between three classes A, B, C (i.e., A c1 B and B c2 C), as such scenarios give rise to an implied consistency constraint c3 that holds between A and C. To determine c3, the mere composition reasoning with c1 and c2 is ...
متن کاملSyllogistic Logic with Complements
This paper continues the development of complete fragments of natural language by adding a noun-level complement operator to the basic syllogistic language of All X are Y and Some X are Y : in the fragment of this paper we can also say, for example, Some non-X are Y . We axiomatize this logic of this fragment in two ways: in a direct fashion, allowing the inference of an arbitrary sentence from...
متن کاملAttributive Concept Descriptions with Complements
Schmidt-SchaulL M. and G. Smolka, Attributive concept descriptions with complements, Artificial Intelligence 48 (1991) 1-26. We investigate the consequences of adding unions and complements to attributive concept descriptions employed in terminological knowledge representation languages. It is shown that deciding coherence and subsumption of such descriptions are PSPACE-complete problems that c...
متن کاملComplements ?
This paper revises the interdependence between flexible technology and product innovation in the context of a monopolistic firm. Previous literature argued that flexible machinery reduces the cost of incremental innovation. To take interactions beyond the fixed cost into account, we introduce a 2-period optimization model where technology, innovation and price are chosen first, then stochastic ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1967
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-61-1-23-28